Oxford

Results: 14300



#Item
361

Formalizing type theory in type theory using nominal techniques Ulrik Buchholtz TU Darmstadt HoTT/UF Workshop, Oxford, September 9, 2017

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    362

    Measuring third party tracker power across web and mobile∗ † REUBEN BINNS, JUN ZHAO, MAX VAN KLEEK, NIGEL SHADBOLT, University of Oxford, Department of Computer Science, UK Third-party networks collect vast amounts o

    Add to Reading List

    Source URL: arxiv.org

    - Date: 2018-02-07 20:22:19
      363

      “Innovation and Continuity in Liturgical Texts” Rabbi Yoel Kahn IJS Yom Iyun on Prayer – June 1, Oxford Street - Berkeley 94709   www.bethelberkeley.org 1. Psalm 150:8

      Add to Reading List

      Source URL: www.jewishspirituality.org

      - Date: 2015-07-07 10:16:39
        364

        open access at oxford Photo: pexels.com PRO-VICE-CHANCELLOR (RESEARCH & INNOVATION)

        Add to Reading List

        Source URL: oa-prd.bodleian.ox.ac.uk

        - Date: 2017-09-25 11:00:20
          365

          The Arpeggigon: A Functional Reactive Musical Automaton Demo, FARM 2017, 9 Sept., Oxford Henrik Nilsson Joint work with Guerric Chupin and Jin Zhan Functional Programming Laboratory, School of Computer Science

          Add to Reading List

          Source URL: functional-art.org

          - Date: 2018-01-20 12:19:10
            366

            Stoic Analysis Susanne Bobzien1 and Roy Dyckhoff2 1 Oxford University, UK

            Add to Reading List

            Source URL: anupamdas.com

            - Date: 2017-08-04 11:45:45
              367

              Refactoring  Java  Programs   for  Flexible  Locking   Max  Schäfer*        Manu  Sridharan†   Julian  Dolby†        Frank  Tip†   *    Oxford  

              Add to Reading List

              Source URL: manu.sridharan.net

              - Date: 2018-02-03 20:39:22
                368

                Querying Semantic Web Data with SPARQL (and SPARQL 1.1) Marcelo Arenas PUC Chile & University of Oxford M. Arenas

                Add to Reading List

                Source URL: marenas.sitios.ing.uc.cl

                - Date: 2013-07-09 05:48:24
                  369

                  1 Semantic Profiling for Heterogeneous Parallel Languages TIMOTHY A. K. ZAKIAN, University of Oxford In today’s world parallelism is ubiquitous, and different types of parallel models and processors are becoming incre

                  Add to Reading List

                  Source URL: www.cs.ox.ac.uk

                  - Date: 2017-03-02 10:54:34
                    370

                    A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017

                    Add to Reading List

                    Source URL: cl-informatik.uibk.ac.at

                    - Date: 2017-09-12 04:41:19
                      UPDATE